The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
AI and the ironies of automation - Part 1
ufried.com·2d
⚡Proof Automation
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
🔩Systems Programming
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·10h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·16h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Beyond the Geometry of Music
golem.ph.utexas.edu·13h
🎼Audio Lambda Calculus
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·1h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·20h
⚔️Lean Theorem
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·19h·
Discuss: Substack
💻Programming languages
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
💻Programming languages
Flag this post
Zig in 30 Minutes
gist.github.com·11h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·3d
⚙️Proof Engineering
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post